- partially ordered category
- матем.частично упорядоченная категория
English-Russian scientific dictionary. 2008.
partially ordered category
Смотреть что такое "partially ordered category" в других словарях:
Partially ordered set — The Hasse diagram of the set of all subsets of a three element set {x, y, z}, ordered by inclusion. In mathematics, especially order theory, a partially ordered set (or poset) formalizes and generalizes the intuitive concept of an ordering,… … Wikipedia
Partially-ordered group — In abstract algebra, a partially ordered group is a group (G,+) equipped with a partial order ≤ that is translation invariant; in other words, ≤ has the property that, for all a, b, and g in G, if a ≤ b then a+g ≤ b+g and g+a ≤ g+b. An element x… … Wikipedia
Ordered group — In abstract algebra, an ordered group is a group (G,+) equipped with a partial order ≤ which is translation invariant ; in other words, ≤ has the property that, for all a , b , and g in G , if a ≤ b then a+g ≤ b+g and g+a ≤ g+b . Note that… … Wikipedia
Category (mathematics) — In mathematics, a category is an algebraic structure that comprises objects that are linked by arrows . A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A … Wikipedia
Nerve (category theory) — In category theory, the nerve N(C) of a small category C is a simplicial set constructed from the objects and morphisms of C. The geometric realization of this simplicial set is a topological space, called the classifying space of the category C … Wikipedia
Monad (category theory) — For the uses of monads in computer software, see monads in functional programming. In category theory, a branch of mathematics, a monad, Kleisli triple, or triple is an (endo )functor, together with two natural transformations. Monads are used in … Wikipedia
Cyclically ordered group — In mathematics, a cyclically ordered group is a set with both a group structure and a cyclic order, such that left and right multiplication both preserve the cyclic order. Cyclically ordered groups were first studied in depth by Ladislav Rieger… … Wikipedia
Product (category theory) — In category theory, the product of two (or more) objects in a category is a notion designed to capture the essence behind constructions in other areas of mathematics such as the cartesian product of sets, the direct product of groups, the direct… … Wikipedia
Dagger category — In mathematics, a dagger category (also called involutive category or category with involution [1][2]) is a category equipped with a certain structure called dagger or involution. The name dagger category was coined by Selinger[3]. Contents … Wikipedia
Complete category — In mathematics, a complete category is a category in which all small limits exist. That is, a category C is complete if every diagram F : J → C where J is small has a limit in C. Dually, a cocomplete category is one in which all small… … Wikipedia
*-autonomous category — In mathematics, a * autonomous (read star autonomous ) category C is a symmetric monoidal closed category equipped with a dualizing object . Contents 1 Definition 2 Properties 3 Examples … Wikipedia
